1. A formalization of set theory without variables /
المؤلف: by Alfred Tarski and Steven Givant.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
2. Intriduction to logic and to the methodology of deductive sciendes
المؤلف: / By Alfred Tarski
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Mathematics - Philosophy,Arithmetic - Foundations
رده :
510
.
1
Ta-I
3. Introduction to logic and to the methodology of the deductive sciences, O logice matematycznej i metodzie dedukcyjnej. English
المؤلف: \ By Alfred Tarski,O logice matematycznej i metodzie dedukcyjnej.
المکتبة: (طهران)
موضوع: ریاضیات, -- فلسفه, Mathematics -- Philosophy., Arithmetic -- Foundations
رده :
QA9
.
T28
4. Logic , Methodology and philosophy of science : proceeding of the 1960 international congress
المؤلف: /edited by Ernest Nagel , PAtrik Suppes , Alfred Tarski.
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع:
5. Logic, semantics, metamathematics :
المؤلف: by Alfred Tarski ; translated by J.H. Woodger.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Semantics (Philosophy),Logique symbolique et mathématique.,Sémantique (Philosophie),Formale Semantik,Formale Semantik.,Logic, Symbolic and mathematical.,Logica.,Mathematische Logik,Mathematische Logik.,Metamathematica.,Semantics (Philosophy),Semantiek.
رده :
BC135
.
T35
1983
6. <The> theory of models
المؤلف: / Edited by J.W. Addison, Lعeon Henkin [and] Alfred Tarski
المکتبة: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (طهران)
موضوع:
رده :
BC135
،.
I5
1965
7. The theory of models
المؤلف: edited by J.W. Addison, Leon Henkin, Alfred Tarski.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical, Congresses.,Mathematical models, Congresses.
8. The theory of models; proceedings
المؤلف: Edited by J.W. Addison, Leon Henkin )and( Alfred Tarski
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematical models
رده :
BC
135
.
I586
1963
9. Undecidable theories
المؤلف: / by Alfred Tarski
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Metamathematics,Logic, Symbolic and mathematical
رده :
E-BOOK
